From d50beb60492ecabdd24d5812174f9e4d16d022eb Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@users.mediawiki.org>
Date: Sun, 11 Sep 2005 11:25:55 +0000
Subject: [PATCH] profiling fix

---
 includes/EditPage.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/includes/EditPage.php b/includes/EditPage.php
index 75b335d394..3adc22bcb0 100644
--- a/includes/EditPage.php
+++ b/includes/EditPage.php
@@ -447,6 +447,7 @@ class EditPage {
 			}
 			else {
 				$wgOut->readOnlyPage();
+				wfProfileOut( "$fname-checks" );
 				wfProfileOut( $fname );
 				return false;
 			}
-- 
2.20.1